Journal of Automated Reasoning
Journal of Automated Reasoning > 2014 > 52 > 1 > 99-122
Journal of Automated Reasoning > 2014 > 52 > 1 > 31-65
Journal of Automated Reasoning > 2014 > 52 > 1 > 67-97
Journal of Automated Reasoning > 2014 > 52 > 1 > 1-29
Journal of Automated Reasoning > 2014 > 52 > 2 > 191-213
Journal of Automated Reasoning > 2014 > 52 > 2 > 215-239
Journal of Automated Reasoning > 2014 > 52 > 2 > 155-190
Journal of Automated Reasoning > 2014 > 52 > 2 > 123-153
Journal of Automated Reasoning > 2014 > 52 > 3 > 241-273
Journal of Automated Reasoning > 2014 > 52 > 3 > 331-360
Journal of Automated Reasoning > 2014 > 52 > 3 > 275-329
Journal of Automated Reasoning > 2014 > 52 > 4 > 407-450
Journal of Automated Reasoning > 2014 > 52 > 4 > 451-480
Journal of Automated Reasoning > 2014 > 52 > 4 > 361-378
Journal of Automated Reasoning > 2014 > 52 > 4 > 379-405